reflexivity of relation

[数] 关系的自反性